Project-Team Antique
Personnel
Overall Objectives
Research Program
Semantics
Abstract interpretation and static analysis
Applications of the notion of abstraction in semantics
The analysis of biological models
Application Domains
Verification of safety critical embedded software
Static analysis of software components and libraries
Biological systems
Highlights of the Year
New Software and Platforms
APRON
Astrée
AstréeA
ClangML
FuncTion
HOO
MemCAD
OPENKAPPA
QUICr
LCertify
Zarith
New Results
Memory Abstraction
Static Analysis of JavaScript Code
Astrée and AstréeA
Static analysis of signaling pathways
Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2017
|
Presentation of the Project-Team ANTIQUE
PDF
e-Pub
Previous |
Home
| Next
Section: Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
Xavier Rival received a Facebook Faculty Award (2017).
Previous |
Home
| Next